Package coq-waterproof.3.1.0+9.0 #28835
Conversation
Added conflicts field to opam file.
|
I just don't know how to tell that the msys2 build is not expected to pass (because it fails on a dependency) |
|
I think it is fine to leave it. MSys2 is still a relatively new addition, so more often than not it triggers red CI lights. The error itself looks related to the one from #28636 for which ocaml/ocamlfind#112 provides a solution. |
|
I might want to investigate later, but for now I'm happy to leave it as is. |
There was a problem hiding this comment.
LGTM, thanks!
I see you're adding x-maintained: false to old versions so that these can get archived - thanks for doing that! 🙏 I suspect you choosing to do so over an x-maintenance-intent: [("latest")] has to do with the version interplay ("3.1.0 with Roq 9.0") for which you may also want to maintain "3.1.0 with Roq 8.9", which may not be easily expressed with x-maintenance-intent. Does that sound about right?
|
Thanks! Yes, that's exactly the reason for adding |
|
Thanks a lot! |
3 participants
coq-waterproof.3.1.0+9.0Coq proofs in a style that resembles non-mechanized mathematical proofs
The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
🐫 Pull-request generated by opam-publish v2.2.0